Martin Wirsing: د Z-Library په سایټ کښې پلټل

اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه

پوهې او کلتور ته وړیا لاسرسی.

اعانه 15 سپتمبر 2024 – 1 اکتبر2024

Z-Library په نړی کې انلاین لوی ترین کتابتون، چې پکی زیاتره 17,000,000 کتابونه او 84,837,000 مقالی ساتل کیږی، مونږ کوښښ کوو چې ادبیاتو ته هر سړی لاسرسی ولری نن (15 سپتمبر 2024) د پروژی د ملاتړ او پرمختیا لپاره مونږ د اضافی اعانی ټولونی صندوق خلاصوو.

همداسی بدون د نورم (لیمیت) کاپی کول ( ۳۱ ورځو لپاره د اعانی ورکولو د ورځی څخه) د ټولو استفاده کوونکو لپاره مجاز دی،د موادو ټولولو په جریان کې اعانه ورکوی تر 1 اکتبر2024.

د پیسو د راټولولو په اړهتفصیلات

د فیلترونو نه استفاده وشوه

دقیق مطابقت والی

دقیق مطابقت والی

کتابونه (50)
مشهورترین
لیسټ
- لیسټ
- جدول

1

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

Springer International Publishing

Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing

کال:

2019

ژبه:

english

فایل:

PDF, 12.51 MB

0 / 0

english, 2019

2

Adapting Proofs-as-Programs : The Curry-Howard Protocol

Adapting Proofs-as-Programs : The Curry-Howard Protocol

Iman Poernomo, John N. Crossley, Martin Wirsing

کال:

2005

ژبه:

english

فایل:

PDF, 1.53 MB

0 / 0

english, 2005

3

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Springer International Publishing

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.)

کال:

2015

ژبه:

english

فایل:

PDF, 23.55 MB

0 / 0

english, 2015

4

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 3.54 MB

0 / 0

english, 2008

5

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

کال:

2011

ژبه:

english

فایل:

PDF, 13.23 MB

0 / 0

english, 2011

6

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 9.09 MB

0 / 0

english, 2009

7

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag

Martin Wirsing, Alexander Knapp, Simonetta Balsamo

کال:

2004

ژبه:

english

فایل:

PDF, 3.50 MB

0 / 0

english, 2004

8

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 8.68 MB

0 / 0

english, 2003

9

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

کال:

1992

ژبه:

english

فایل:

DJVU, 4.27 MB

0 / 0

english, 1992

10

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing & Dirk Pattinson && Rolf Hennicker

فایل:

RTF , 31.96 MB

0 / 0

11

Adapting Proofs-as-Programs: The Curry Howard Protocol

Adapting Proofs-as-Programs: The Curry Howard Protocol

Springer Science & Business Media

Iman Poernomo, John N. Crossley, Martin Wirsing

کال:

2005

ژبه:

english

فایل:

PDF, 4.59 MB

0 / 0

english, 2005

12

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Martin Wirsing, Martin Hofmann, Axel Rauschmayer

کال:

2010

ژبه:

english

فایل:

PDF, 5.78 MB

0 / 0

english, 2010

13

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)

کال:

2004

ژبه:

english

فایل:

PDF, 3.79 MB

0 / 0

english, 2004

14

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 9.22 MB

0 / 0

english, 2008

15

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

کال:

2011

ژبه:

english

فایل:

PDF, 17.12 MB

0 / 0

english, 2011

16

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 4.80 MB

0 / 0

english, 2003

17

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 5.23 MB

0 / 0

english, 2010

18

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing, Dirk Pattinson & Rolf Hennicker

کال:

2009

ژبه:

spanish

فایل:

FB2 , 6.84 MB

0 / 0

spanish, 2009

19

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Dirk Pattinson Martin Wirsing & Rolf Hennicker [Martin Wirsing, Dirk Pattinson]

کال:

2009

ژبه:

spanish

فایل:

MOBI , 15.85 MB

0 / 0

spanish, 2009

20

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing, Dirk Pattinson & Rolf Hennicker [Martin Wirsing, Dirk Pattinson & Rolf Hennicker]

کال:

2009

فایل:

LIT , 4.32 MB

0 / 0

2009

21

Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

Matthias Hölzl, Allaithy Raed, Martin Wirsing

کال:

2013

ژبه:

german

فایل:

PDF, 4.84 MB

0 / 0

german, 2013

22

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Allaithy Raed, Martin Wirsing (auth.)

کال:

2013

ژبه:

german

فایل:

PDF, 2.66 MB

0 / 0

german, 2013

23

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

کال:

2004

ژبه:

english

فایل:

PDF, 11.77 MB

0 / 5.0

english, 2004

24

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Springer International Publishing

Songmao Zhang, Martin Wirsing, Zili Zhang (eds.)

کال:

2015

ژبه:

english

فایل:

PDF, 41.53 MB

0 / 0

english, 2015

25

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

C. P. Schnorr (auth.), Robert Cori, Martin Wirsing (eds.)

کال:

1988

ژبه:

english

فایل:

DJVU, 4.89 MB

0 / 0

english, 1988

26

Elementare Aussagenlogik

Elementare Aussagenlogik

Springer-Verlag Berlin Heidelberg

Friedrich L. Bauer, Martin Wirsing (auth.)

کال:

1991

ژبه:

german

فایل:

PDF, 8.30 MB

0 / 0

german, 1991

27

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

کال:

1983

ژبه:

english

فایل:

PDF, 10.65 MB

0 / 0

english, 1983

28

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

کال:

2005

ژبه:

english

فایل:

PDF, 5.67 MB

0 / 0

english, 2005

29

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

کال:

1983

ژبه:

english

فایل:

DJVU, 3.71 MB

0 / 0

english, 1983

30

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)

کال:

1989

ژبه:

english

فایل:

DJVU, 5.38 MB

0 / 0

english, 1989

31

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

کال:

1991

ژبه:

english

فایل:

DJVU, 6.59 MB

0 / 0

english, 1991

32

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

کال:

2011

ژبه:

english

فایل:

PDF, 13.54 MB

0 / 0

english, 2011

33

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 3.80 MB

0 / 0

english, 2012

34

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)

کال:

1995

ژبه:

english

فایل:

DJVU, 3.92 MB

0 / 0

english, 1995

35

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

کال:

1987

ژبه:

english

فایل:

DJVU, 4.38 MB

0 / 0

english, 1987

36

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

کال:

1991

ژبه:

english

فایل:

DJVU, 5.26 MB

0 / 0

english, 1991

37

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 14.97 MB

0 / 0

english, 2009

38

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 4.77 MB

0 / 0

english, 2003

39

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

کال:

1991

ژبه:

english

فایل:

PDF, 11.97 MB

0 / 0

english, 1991

40

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

کال:

2013

ژبه:

english

فایل:

PDF, 6.84 MB

0 / 0

english, 2013

41

Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project

Springer-Verlag Berlin Heidelberg

Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)

کال:

1991

ژبه:

english

فایل:

DJVU, 2.20 MB

0 / 0

english, 1991

42

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

کال:

1987

ژبه:

english

فایل:

PDF, 9.86 MB

0 / 0

english, 1987

43

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.)

کال:

1996

ژبه:

english

فایل:

DJVU, 6.79 MB

0 / 0

english, 1996

44

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

کال:

1991

ژبه:

english

فایل:

PDF, 11.76 MB

0 / 0

english, 1991

45

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 3.89 MB

0 / 0

english, 2012

46

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

کال:

2004

ژبه:

english

فایل:

PDF, 8.47 MB

0 / 0

english, 2004

47

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

کال:

2005

ژبه:

english

فایل:

PDF, 5.89 MB

0 / 0

english, 2005

48

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 5.18 MB

0 / 0

english, 2010

49

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 6.52 MB

0 / 0

english, 2003

50

Elementare Aussagenlogik

Elementare Aussagenlogik

Springer Verlag

Wirsing, Martin, Bauer, Friedrich Ludwig

کال:

1991

ژبه:

german

فایل:

DJVU, 2.34 MB

0 / 0

german, 1991